Feeds to Scour
SubscribedAll
Scoured 19462 posts in 589.4 ms
**Abstract:** This research introduces a novel framework for formally verifying distributed consensus protocols, specifically Raft, using Lean 4 and dependen...
freederia.com¡1d
🤝Consensus Protocols
MS-DOS game copy protection and cracks
dosdays.co.uk¡3h¡
Discuss: Hacker News
🕹ī¸Game Preservation
SEAL: Symbolic Execution with Separation Logic (Competition Contribution)
arxiv.org¡1d
🧠Separation Logic
Rsync is better than every backup GUI I've tried
xda-developers.com¡3h
📊Differential Backup
learning by reverse engineering
clymup.com¡7h
🔓Reverse engineering
First Proof | Research-Level Math for AI Evaluation
1stproof.org¡1d¡
Discuss: Hacker News
đŸŽ¯Performance Proofs
CAP-SRP: Building a Cryptographic Flight Recorder for AI Content Refusals — A Complete Implementation Guide
dev.to¡20h¡
Discuss: DEV
đŸŒŗArchive Merkle Trees
🎲 Piecemeal Formal Verification: Cloudflare, Java Exceptions, and Rust Mutexes
gavinhoward.com¡2d
đŸĻ€Rust Verification
Automating busy work
thomasrigby.com¡5h
🤖Archive Automation
Building "zero-gap" secrets for a UGC platform
news.ycombinator.com¡20h¡
Discuss: Hacker News
đŸ§ĒBinary Fuzzing
Live System Analysis: Mitigating Interference from Antivirus Tools
blog.elcomsoft.com¡1d
🔍NTLM Forensics
DCP-o-matic â€ĸ Re: CPL as compositions and multiple CPLs
dcpomatic.com¡11h
🔗Concatenative Programming
Rebuilding the spellchecker
zverok.space¡2h
🌲Parse Trees
Declarative, Reproducible Emacs
irreal.org¡5h
🧩Shell Metaprogramming
Agentic Proof-Oriented Programming
risemsr.github.io¡2d¡
Discuss: Lobsters, Hacker News
⚔ī¸Lean Tactics
Kubernetes Operator for automated Jupyter Notebook validation in MLOps pipelines
reddit.com¡21h¡
Discuss: r/kubernetes
✅Archive Validation
QNAP Unifies Backup and Object Storage with myQNAPcloud One
storagereview.com¡1h
🕸ī¸Mesh Archiving
FreeBSD audio diagnostics and optimization
discoverbsd.com¡2d
🔌Operating system internals
How to Identify and Eliminate Unused AWS Resources
medium.com¡5h¡
Discuss: Hacker News
đŸ’ŋZFS Scrubbing
Build a Compiler in Five Projects
kmicinski.com¡11h
🔨Compilers

Keyboard Shortcuts

Navigation
Next / previous item
j/k
Open post
oorEnter
Preview post
v
Post Actions
Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Recommendations
Add interest / feed
Enter
Not interested
x
Go to
Home
gh
Interests
gi
Feeds
gf
Likes
gl
History
gy
Changelog
gc
Settings
gs
Browse
gb
Search
/
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc

Press ? anytime to show this help